Handbook of logic in computer science
- Författare
- (Edited by: S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum volume co-ordinator: Dov M. Gabbay.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Clarendon Press | 1992-2000 | Storbritannien, Oxford | 6 vol. ill. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Clarendon Press | 1992-2000 | Storbritannien, Oxford | 6 vol. ill. |